module M {
    resource struct R {
        f: u64
    }

    t0(x: u64, r: R) {
        0 > 0;
        1 > 0;
        0 > 1;
        (0) > (1);
        copy x > move x;
        r.f > r.f;
        (1 > r.f) && (r.f > 0);
        let R {f} = r;
    }
}
